International Symposium on Fault-Tolerant Computing author data searchable via API